@Comment{AUXFILE of FORMAL.MSS by Scribe 3B(1134) on 15 January 1983 at 15:01}
@AuxLabel{ALREADYIN=(1;;FORMAL.MSS, 00600/5)}
@AuxLabel{DEDUCE=(1;#1;FORMAL.MSS, 01000/5)}
@AuxLabel{DEFN-F=[6;(Facts 1);FORMAL.MSS, 02100/10]}
@AuxLabel{INCONS=(1;#2;FORMAL.MSS, 01700/5)}
@AuxLabel{INDEP=(2;#3;FORMAL.MSS, 02100/5)}
@AuxLabel{INDEPENDENT=[8;(Facts 2);FORMAL.MSS, 00500/13]}
@AuxLabel{NEWOTHER=(9;#5;FORMAL.MSS, 00100/17)}
@AuxLabel{NONANALOGY=(7;#1;FORMAL.MSS, 00500/12)}
@AuxLabel{PROOFS=(8;#5;FORMAL.MSS, 00100/16)}
@AuxLabel{PSS=(8;#3;FORMAL.MSS, 00100/14)}
@AuxLabel{REALWORLD=(4;#1;FORMAL.MSS, 02900/7)}
@AuxLabel{SEMCLOS=(8;#2;FORMAL.MSS, 00100/13)}
@AuxLabel{SYNMETHOD=(2;1.2.3;FORMAL.MSS, 01200/6)}
@AuxLabel{UNIV=(8;#4;FORMAL.MSS, 00100/15)}